TSTP Solution File: GRA056^1 by CARINE---0.734